Entrez un mot ou une phrase dans n'importe quelle langue 👆
Langue:
Traduction et analyse de mots par intelligence artificielle ChatGPT
Sur cette page, vous pouvez obtenir une analyse détaillée d'un mot ou d'une phrase, réalisée à l'aide de la meilleure technologie d'intelligence artificielle à ce jour:
- comment le mot est utilisé
- fréquence d'utilisation
- il est utilisé plus souvent dans le discours oral ou écrit
- options de traduction de mots
- exemples d'utilisation (plusieurs phrases avec traduction)
- étymologie
Qu'est-ce (qui) est Спинорное исчисление - définition
Интуиционистское исчисление предикатов; Интуиционистское исчисление высказываний
Спинорное исчисление
математическая теория, изучающая величины особого рода - Спиноры. При изучении физических величин их относят обычно к той или иной системе координат. В зависимости от закона преобразования этих величин при переходе от одной системы координат к другой различают величины различных типов (Тензоры, псевдотензоры). При изучении явления Спина электрона было обнаружено, что существуют физические величины, не принадлежащие к ранее известным типам (например, эти величины могут быть определены лишь с точностью до знака, т. к. при повороте системы координат на 2π вокруг некоторой оси все компоненты этих величин меняют знак). Такие величины были рассмотрены ещё в 1913 Э. Картаном в его исследованиях по теории представлений групп и вновь открыты в 1929 Б. Л. Варденом в связи с исследованиями по квантовой механике. Он назвал эти величины спинорами.
Спиноры первой валентности задаются двумя комплексными числами (ξ1, ξ2 ), причём в отличие, например, от тензоров, для которых различные совокупности чисел задают различные тензоры, для спиноров считают, что совокупности (ξ1, ξ2) и (-ξ1, -ξ2) определяют один и тот же спинор. Это объясняется законом преобразования спиноров при переходе от одной системы координат к другой. При повороте системы координат на угол θ вокруг оси с направляющими косинусами cosχ1, cosχ2, cosχ3 компоненты спинора преобразуются по формулам
где
В частности, при повороте системы координат на угол 2π, возвращающем её в исходное положение, компоненты спинора меняют знак, что объясняет тождественность спиноров (ξ1, ξ2) и (-ξ1, -ξ2). Примером спинорной величины может служить Волновая функция частицы со спином 1/2 (например, электрона).
Матрица 
является в этом случае унитарной матрицей (См. Унитарная матрица).
К спинорам относят и величины, компоненты которых 
комплексно сопряжены с компонентами спинора (ξ1, ξ2). Матрица преобразования этих величин имеет вид 
.
Пусть Oxyz и 0'х'у'z' - две системы координат с параллельными осями, причём O'x'y'z' движется относительно Охуz со скоростью v = cthθ (где с - скорость света) в направлении, образующем с осями координат углы χ1, χ2, χ3. При Лоренца преобразованиях, соответствующих переходу от Oxyz к O'x'y'z', компоненты спинора преобразуются по формулам
где
Если рассматривают преобразования Лоренца для случая, когда оси координат непараллельны, то матрица о преобразования компонент спинора может быть любой комплексной матрицей второго порядка, определитель которой равен единице, - унимодулярной матрицей.
Наряду с введёнными выше контравариантными компонентами ξ1, ξ2 спинора, можно ввести ковариантные компоненты ξ1, ξ2 положив 
, где 
(как всегда, по повторяющимся индексам производится суммирование). Иными словами, ξ2 = ξ1, ξ1 = -ξ2. Ковариантные компоненты преобразуются матрицей 
. При вращениях эта матрица совпадает с матрицей σ, т. е. при вращениях ковариантные компоненты спинора преобразуются как компоненты комплексно сопряжённого спинора.
Спинорная алгебра строится аналогично обычной тензорной алгебре (см. Тензорное исчисление). Спинором валентности r (или спинтензором) называется совокупность 2r комплексных чисел 
, определённых с точностью до знака, которая при переходе от одной системы координат к другой преобразуется как произведение r компонент спиноров первой валентности, т. е. как 
. Аналогично определяются комплексно сопряжённый спинор валентности r, смешанный спинор, спинор с ковариантными компонентами и т. д. Сложение спиноров и умножение спинора на скаляр определяются покоординатно. Произведением двух спиноров называется спинор, компонентами которого являются попарные произведения компонент сомножителей. Например, из спиноров второй и третьей валентности 
и 
можно образовать спинор пятой валентности 
. Свёрткой спинора 
по индексам λ1 и λ2 называется спинор
В спинорной алгебре часто используются тождества
В квантовой механике важную роль играет исследование систем линейных дифференциальных уравнений, связывающих величины спинорного типа, которые остаются инвариантными при унимодулярных преобразованиях, т. к. только такие системы уравнений релятивистски инвариантны. Наиболее важны приложения спинорного анализа к теории уравнений Максвелла и Дирака. Запись этих уравнений в спинорной форме позволяет сразу установить их релятивистскую инвариантность, установить характер преобразования входящих в них величин. Спинорная алгебра находит также приложения к квантовой теории химической валентности. Теория спиноров в пространствах высшего числа измерений связана с представлениями групп вращений многомерных пространств. С. и. связано также с некоторыми вопросами неевклидовой геометрии.
Лит.: Румер Ю. Б., Спинорный анализ, М. - Л., 1936; Картан Э., Теория спиноров, пер. с франц., М., 1947; Ландау Л., Лифшиц Е., Квантовая механика, ч. 1, М. - Л., 1948 (Теоретическая физика, т. 5, ч. 1 ); Рашевский П. К., Риманова геометрия и тензорный анализ, 3 изд., М., 1967; его же, Теория спиноров, "Успехи математических наук", 1955, т. 10, в. 2(64).
Типизированное лямбда-исчисление
Типизированное лямбда-исчисление — это версия лямбда-исчисления, в которой лямбда-термам приписываются специальные синтаксические метки, называемые типами. Допустимы различные наборы правил конструирования и приписывания таких меток, они порождают различные системы типизации.
Лямбда-исчисление
Ля́мбда-исчисле́ние (λ-исчисление) — формальная система, разработанная американским математиком Алонзо Чёрчем для формализации и анализа понятия вычислимости.
Wikipédia
Интуиционистская логика
Интуициони́стская ло́гика — формальная система, отражающая некоторые способы рассуждений, приемлемые с точки зрения интуиционизма. Предложена А. Гейтингом в 1930.
Основное отличие от привычного исчисления высказываний заключается в том, что отсутствует закон исключённого третьего.
Схемы аксиом 1-10 и правило «модус поненс» задают интуиционистское исчисление высказываний. Все 12 схем аксиом и все 3 правила вывода задают интуиционистское исчисление предикатов. Интуиционистское исчисление предикатов отличается от классического тем, что в последнем вместо схемы аксиом 10 используется схема аксиом ..
